You Are in a Box
jyn.devยท1dยท
Discuss: Lobsters, Hacker News
๐ŸšShell Calculus
Enough unix to get by
thoughtbot.comยท1d
๐Ÿ“Shell Parsing
Functional Abstract Interpretation
simon.peytonjones.orgยท19hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.comยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Song recommendations with pipes and filters
blog.ploeh.dkยท1d
ฮปLambda Formalization
A Rust shaped hole
ente.ioยท1d
๐Ÿฆ€Rust Macros
Valuable News Summary for 2025/07/14
discoverbsd.comยท6h
๐Ÿ”ŒOperating system internals
Cactus Language โ€ข Stylistics 4
inquiryintoinquiry.comยท4h
๐ŸŒณContext free grammars
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.comยท4h
๐Ÿฆ€Rust Verification
I've written a simple Unix(-like) shell in Go
reddit.comยท1dยท
Discuss: r/golang
๐ŸงฉShell Metaprogramming
Coroutines in C
hackaday.comยท1d
๐Ÿ”ฉSystems Programming
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.orgยท15h
โœจEffect Handlers
Interacting with an unreliable process
mbork.plยท1d
๐ŸšBash FP
Do We Really Need Lisp Machines?
irreal.orgยท1d
๐Ÿค–Lisp Machines
Inheritance over composition, sometimes
death.andgravity.comยท12h
๐Ÿฆ€Rust Macros
Sandboxing AI - Extending AI Responsibly
dev.toยท5hยท
Discuss: DEV
๐Ÿ”’WASM Capabilities
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systemsยท3hยท
Discuss: Hacker News
โ„๏ธNixpkgs
W1seGuy | TryHackMe Walkthrough โ€” XOR? BrUt3_F0rC3 iT
infosecwriteups.comยท1d
๐Ÿ”Cryptographic Archaeology
In defence of Golang error handling
ajahcs.comยท21hยท
Discuss: Hacker News
๐ŸšBash Monads
FSM Library for Embedded C Projects
hackster.ioยท1d
๐Ÿฆ€Embedded Rust